Using int as default_factory